12 résultats
Collection
Langages formels2023-2024
Documents
Langages formels
Faculté des sciences
2023-2024
Cours 12 - Universalité et indécidabilité |
Cours 11 - Machines de Turing (divers) |
Cours 10 - Machines de Turing (déterministes) |
Cours 9 - Lemme de l’étoile (hors-contexte) |
Cours 8 - Équivalence AP - GHC |
Cours 7 - Automates à pile |
Cours 6 - Grammaires formelles |
Cours 5 - Lemme de l'étoile (+ fin des expressions régulières) |
Cours 4 - Expressions régulières |
Cours 3 - Non-déterminisme |
Cours 2 - Automates finis |
Cours 1 - Concepts de base |